computational theorems - Türkisch Englisch Wörterbuch